/*
 * Copyright (c) 2016 Intel Corporation
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#include <arch/cpu.h>
#include <kernel_structs.h>
#include <offsets_short.h>

GTEXT(__start)

